141. Foundations of Computer Software. Future Trends and Techniques for Development
پدیدآورنده : / Christine Choppy, Oleg Sokolsky
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
142. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
پدیدآورنده : / Radu Calinescu, Ethan Jackson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
143. Foundations of Software Technology and Theoretical Computer Scinece : 12th Conference New Delhi, India, December 18-20, 1992 : proceedings
پدیدآورنده : R. Shyamasundar )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
652
144. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
145. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
146. Foundations of software technology and theoretical Computer Science : sixth Conference, New Delhi; India, December 18-20, 1986: Proceedings
پدیدآورنده : edited by Kesav V. Nori
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
241
147. Foundations of software technology and theoretical computer science
پدیدآورنده : Kesav V. Nori
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Computer software-Congresses,Electronic data processing - Congresses
رده :
QA
76
.
751
.
F68
1986
148. Foundations of software technology and theoretical computer science :
پدیدآورنده : ed. by S.N. Maheshwari.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.
149. Foundations of software technology and theoretical computer science
پدیدآورنده : V. Arvind, R. Ramanujam (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Computer software, Congresses.,Evolutionary programming (Computer science), Congresses.,Molecular computers, Congresses.,Quantum computers, Congresses.
150. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings
پدیدآورنده : K.V. Nori, S. Kumar )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
338
151. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
152. Foundations of software technology and theoretical computer science : Fifth Conference, New Delhi, India, December 16-18, 1985 : Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
206
153. Foundations of software technology and theoretical computer science : Fourth Conference, Bangalore, India, Dec. 13-15, 1984: proceedings
پدیدآورنده : edited by Mathai Joseph and Rudrapatna Shyamasundar
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computers
رده :
QA
76
.
L28
Vol
.
181
154. Foundations of software technology and theoretical computer science, Fourth conference, Bangalore, India Dec. 13-15, 1984 : Proceedings
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L4
v
.
181
155. Foundations of software technology and theoretical computer science : Ninth Conference, Bangalore, India, December 19-21, 1989 : Proceedings
پدیدآورنده : C.E. Veni Madhavan, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
405
156. Foundations of software technology and theoretical computer science: eighth conference, Pune, India, December 21-23, 1988: proceedings
پدیدآورنده : K.V. Nori, S. Kumar )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer software,Congresses ، Computer programming
رده :
QA
76
.
L4
v
.
338
157. Foundations of software technology and theoretical computer science: fourth conference, Banglore, India, Dec. 13-15, 1984, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming )Electronic computers(-- Congresses,، Computers-- Congresses
رده :
QA
76
.
6
.
F686
1984
158. Foundations of software technology and theoretical computer science: eight conference, Pune, India, December 21-23, 1988: proceedings
پدیدآورنده :
موضوع : ، Computer software-- Congresses,، Computer science-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
159. Foundations of software technology and theoretical computer science; seventh Confernce, Pune, India, December 17-19, 1987 : proceedings
پدیدآورنده : Kesav V. Nori )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
287
